xen/arm: gic-v2: Change the device name in DT_DEVICE_START
authorJulien Grall <julien.grall@linaro.org>
Fri, 30 Jan 2015 18:49:16 +0000 (18:49 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 20 Feb 2015 14:00:21 +0000 (14:00 +0000)
commit256bdee6feae6dd37812872fd6312ccf25547210
tree8e7adf9f4d4882060eee0d95f702672a443aa7a9
parent98e7c60d3ff1ce1cb14da528c37b53da02f6bc24
xen/arm: gic-v2: Change the device name in DT_DEVICE_START

I'm not sure why a ':' has been added in the name... But none of the
other usages doesn't have it.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic-v2.c